Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Don't prefer STIXGeneral over the default font #9711

Merged
merged 8 commits into from
Jan 6, 2023

We went looking everywhere, but couldn’t find those commits.

Sometimes commits can disappear after a force-push. Head back to the latest changes here.